Development of the Methods and Tools for Mathematically Correct Logic Programming of Internet Agents
نویسنده
چکیده
In this paper, we consider the development of a mathematical apparatus for logic programming of intelligent agents for searching, recognizing, collecting, and analyzing information on the Internet. The problem of ensuring soundness and completeness of logical inference in the dynamic environment of the Internet under the conditions of permanent update and revision of information is discussed. For logic programming of the Internet agents, we propose a new mathematical apparatus based on the principle of repeatedly proven subgoals. Received October 29, 2002
منابع مشابه
An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet
The problem of designing intelligent agents for information search and recognition on the Internet is considered. A new approach to the object-oriented logic programming of Internet agents is introduced. The problem of ensuring the correct inference in conditions of permanent modification of information content on the Internet is considered. An unconventional technique for the formalization of ...
متن کاملA Fast and Self-Repairing Genetic Programming Designer for Logic Circuits
Usually, important parameters in the design and implementation of combinational logic circuits are the number of gates, transistors, and the levels used in the design of the circuit. In this regard, various evolutionary paradigms with different competency have recently been introduced. However, while being advantageous, evolutionary paradigms also have some limitations including: a) lack of con...
متن کاملPrediction of University Students\' Internet Addiction Based on Brain-Behavioral Systems
Background and Aim: Internet addiction means excessive and unnecessary use of the Internet. The aim of this study was to investigate the role of brain-behavioral systems in Internet addiction among university students. Materials and Methods: This was a descriptive and correlational research. The statistical population was all the students of Islamic Azad University, Karaj Branch in the academi...
متن کاملبررسی تاثیراعتیاد به اینترنت برسبک زندگی دانشجویان ساکن خوابگاه‌های علوم پزشکی تهران در سال 1391
Background: With the advancement in technology, internet addiction has become an issue which adversely affects the healthy life style. The aim of this study was to investigate the relations between internet addiction and health promoting lifestyle of the students and determine the effects of internet addiction on the health of students and to collect basic data to plan for preventing...
متن کاملDevelopment and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents
One of the most interesting and promising approaches to programming Internet agents is logic programming of agents. This approach has good prospects, because the ideology and principles of logic programming are very convenient for searching, recognition, and analysis of unstructured, poorly structured, and hypertext information. Many ideas and methods of logic programming of Internet agents bas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003